Automated, Accelerated Nanoscale Synthesis of Iminopyrrolidines

Automated Synthesis of Computing Nanoscale Crossbars using Formal Methods

Since the fabrication of nanoscale memristors by HP Labs in 2008, there has been a renewed interest in the use of crossbars of nanoscale memristors as digital storage and neuromorphic computing devices. However, the same success has not been replicated in the use of crossbars for performing general-purpose computations that can support the existing software infrastructure originally designed fo...

Lutetium-177 DOTATATE Production with an Automated Radiopharmaceutical Synthesis System

Objective(s): Peptide Receptor Radionuclide Therapy (PRRT) with yttrium-90 (90Y) and lutetium-177 (177Lu)-labelled SST analogues are now therapy option for patients who have failed to respond to conventional medical therapy. In-house production with automated PRRT synthesis systems have clear advantages over manual methods resulting in increasing use in hospital-based radiopharmacies. We report...

Accelerated nanoscale magnetic resonance imaging through phase multiplexing

Synthesis of extended nanoscale optical encoders.

An optical encoder is a device that uses an interrupted light source-sensor pair to map linear or rotational motion onto a periodic signal. Simple, inexpensive optical encoders are used for precise positioning in machines such as desktop printers, disk drives, and astronomical telescopes. A strand of DNA labeled with a series of Förster resonance energy transfer acceptor dyes can perform the sa...

Automated Synthesis of Data

Research into the development of software tools that support formal methods is aimed at simplifying and providing assistance during the development of correct software. We have developed the Seed system that uses techniques amenable to automation in order to assist a user in the correct development of the building blocks of a large software system from user-supplied formal speciications. Seed a...